Possible World Semantics for Analogous Reasoning
نویسندگان
چکیده
منابع مشابه
Possible World Semantics for Defeasible Deontic Logic
Defeasible Deontic Logic is a simple and computationally efficient approach for the representation of normative reasoning. Traditionally defeasible logics are defined proof theoretically based on the proof conditions for the logic. While several logic programming, operational and argumentation semantics have been provided for defeasible logics, possible world semantics for (modal) defeasible lo...
متن کاملIntensionality and circumscription
This paper examines the semantics of a group of logical techniques, used by the Artificial Intelligence community, and which are fundamental for circumscriptionbased approaches to the situation calculus. At first sight, this calculus appears to be an operationalised version of David Lewis’ account of causal reasoning: there are items – here called ‘situations’ – which are analogous to Lewis’ po...
متن کاملSpatial Reasoning in Indeterminate Worlds
A possible worlds semantics for model-based spatial reasoning is presented. In this semantics, worlds are characterized by the alternative states that result from indeterminacy or partial knowledge. A world is represented as a set of symbolic arrays, where symbols in the array map to entities in the world and the relative locations of symbols correspond to the relative locations of entities. De...
متن کاملA Logic for Reasoning about Action, Preference, and Commitment
In this paper, we study the logical semantics of actions, preference, and commitment. The semantics is based on the possible world models for dynamic logic of actions. A binary preference relation between possible worlds is associated with the model. Then the preference between actions are determined by comparing that of their consequences. While the preference will influence the agent’s choice...
متن کاملInconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities
Distance-based reasoning is a well-known approach for defining non-monotonic and paraconsistent formalisms, which so far has been mainly used in the context of standard two-valued semantics. In this paper, we extend this approach to arbitrary denotational semantics by considering dissimilarities, a generalization of distances. Dissimilarity-based reasoning is then applied for handling inconsist...
متن کامل